Nanomaterial Properties: Size and Shape Dependencies
نویسندگان
چکیده
منابع مشابه
Materials by Design: Using Architecture and Nanomaterial Size Effects to Attain Unexplored Properties
Engineers are actively trying to mimic hard biomaterials such as mollusk shells and beaks because of their resilience and damage tolerance, which are believed to stem from hierarchical arrangements in their design. Technological advances in fabrication methods make it possible to create architected structural metamaterials using materials whose design and dimensionality are similar to those fou...
متن کاملParticle size and shape 511 MECHANICAL PROPERTIES 9 Tensile
Large quantities of clay minerals (and other micron-sized mineral powders) are used widely in materials science. Mineral fillers are major components, for example, of paints, rubber, plastics and paper and board. While the original object of such incorporation was to reduce costs, performance is now being "engineered" by design or choice of the relevant mineral particles. This paper concentrate...
متن کاملAutomated Verification of Shape and Size Properties Via Separation Logic
Despite their popularity and importance, pointerbased programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based programs. Our approach uses user-definable shape predicates to allow programmers to describe a wide range of data structures with their associa...
متن کاملDexterous Workspace Shape and Size Optimization of Tricept Parallel Manipulator
This work intends to deal with the optimal kinematic synthesis problem of Tricept parallel manipulator. Observing that cuboid workspaces are desirable for most machines, we use the concept of effective inscribed cuboid workspace, which reflects requirements on the workspace shape, volume and quality, simultaneously. The effectiveness of a workspace is characterized by the dexterity of the manip...
متن کاملAutomated Verification of Shape , Size and Bag Properties via
Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In recent years, separation logic has emerged as a contender for formal reasoning of pointer-based programs. Recent works have focused on specialized provers that are mostly based on fixed sets of predicates. In this paper, we propose an automated verification system for ensuring t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Nanomaterials
سال: 2012
ISSN: 1687-4110,1687-4129
DOI: 10.1155/2012/180976